A paradigm for class identification problems

Absfrac-The following problem arises in many applications involving classification, identification, and inference. There is a set of objects X, and a particular x E X is chosen (unknown to us). Based on information obtained about x in a sequential manner, we wish to decide whether x belongs to one class of objects A , or a different class of objects A, . We study a general paradigm applicable to a broad range of problems of this type, which we refer to as problems of class identification or discernibility. We consider various types of information sequences, and various success criteria including discernibility in the limit, discernibility with a stopping criterion, uniform discernibility, and discernibility in the Cesaro sense. We consider decision rules both with and without memory. Necessary and sufficient conditions for discernibility are provided for each case in terms of separability conditions on the sets A , and A , . We then show that for any sets A , and A , , various types of separability can be achieved by allowing failure on appropriate sets of small measure. Applications to problems in language identification, system identification, and discrete geometry are discussed.